algebraic proofs maths genie